As it is well known, in the forties of the past century, Curry proved that in any logic S closed under Modus Ponens, uniform substitution of propositional variables and the Contraction Law, the naïve Comprehension axiom trivializes S in the sense that all propositions are derivable in S plus CA. Not less known is the fact that, ever since Curry published his proof, theses and rules weaker than W have been shown to cause the same effect as W causes. Among (...) these, the Contraction rule or the Modus Ponens axiom, for example, are to be noted. But, moreover, as Brady has proved, even the Generalized Modus Ponens axiom or the Generalized Contraction rule give rise to “Curry’s Paradox” under the same circumstances as W does. In some previous work by us, “weak relevant model structures” are defined on “weak relevant matrices” by generalizing Brady’s model structure MCL built upon Meyer’s Crystal matrix CL. We have proved that wr-ms only verify logics with the “depth relevance condition”. The aim of this paper is to show how to falsify gMPa and gRW in certain wr-ms. In particular, it will be shown that gMPa is falisfied in any wr-ms and gRW in any wr-ms verifying Routley and Meyer’s basic positive logic B+. (shrink)

Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...) the many possible negation extensions of Bp+ are commented. (shrink)

Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...) the many possible negation extensions of Bp+ are commented. (shrink)

According to Ramsey (Representation reconsidered, Cambridge University Press, New York, 2007 ), only classical cognitive science, with the related notions of input–output and structural representations, meets the job description challenge (the challenge to show that a certain structure or process serves a representational role at the subpersonal level). By contrast, connectionism and other nonclassical models, insofar as they exploit receptor and tacit notions of representation, are not genuinely representational. As a result, Ramsey submits, cognitive science is taking a U-turn from (...) representationalism back to behaviourism, thus presupposing that (1) the emergence of cognitivism capitalized on the concept of representation, and that (2) the materialization of nonclassical cognitive science involves a return to some form of pre-cognitivist behaviourism. We argue against both (1) and (2), by questioning Ramsey’s divide between classical and representational, versus nonclassical and nonrepresentational, cognitive models. For, firstly, connectionist and other nonclassical accounts have the resources to exploit the notion of a structural isomorphism, like classical accounts (the beefing-up strategy); and, secondly, insofar as input–output and structural representations refer to a cognitive agent, classical explanations fail to meet the job description challenge (the deflationary strategy). Both strategies work independently of each other: if the deflationary strategy succeeds, contra (1), cognitivism has failed to capitalize on the relevant concept of representation; if the beefing-up strategy is sound, contra (2), the return to a pre-cognitivist era cancels out. (shrink)

Se discuten varias concepciones con respecto al carácter normativo de la filosofía de la ciencia. De entre éstas, se aboga por una forma de naturalismo comprometido con la necesidad de discutir los valores (epistémicos o no) de la ciencia. El ejemplo de la "ciencia reguladora" ilustra esa necesidad.

En 1501, Mario Equicola concluye el _Perigynaecon_, la única obra filógina que el humanista de Alvito compondría en toda su vida. Este tratado se idea con una clara finalidad instrumental, pues el autor deseaba entrar al servicio de Isabella d’Este, marquesa consorte de Mantua. Precisamente por ello, tras cada uno de los argumentos que Equicola presenta y detrás de cada una de las mujeres ejemplares que menciona para ensalzar el valor femenino a lo largo de la historia se pueden establecer (...) paralelismos más o menos claros con los problemas que Isabella tuvo que afrontar en su primera década en la corte mantuana. En este artículo analizamos la función que Veturia desempeña en el seno del elenco de mujeres ejemplares del _Perigynaecon_ y profundizamos en algunos de los motivos que podrían haber empujado a Equicola a decantarse por incluir a la madre de Coriolano entre las mujeres a las que alude en su tratado. (shrink)

In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V3, showing that it is definitionally equivalent to the equivalent quasivariety semantics for the “Three-valued BCK-logic”. As a consequence we find an axiomatic definition of the above system.

In this paper we consider twelve classical laws of negation and study their relations in the context of BCK-algebras. A classification of the laws of negation is established and some characterizations are obtained. For example, using the concept of translation we obtain some characterizations of Hilbert algebras and commutative BCK-algebras with minimum. As a consequence we obtain a theorem relating those algebras to Boolean algebras.

The Purpose in Life Test is a measure of purpose in life widely used in many cultures and countries; however, cross-cultural assessments are scarce. The present study aimed to evaluate the cross-cultural measurement invariance of the PIL in the general population of seven Latin American countries. A total of 4306 people participated, selected by non-probabilistic convenience sampling, where Uruguay has the highest mean age ; while Ecuador has the lowest mean age. Furthermore, in each country, there is a higher proportion (...) of women than men. Using Multi-Group Confirmatory Factor Analysis, the factorial structure does not show evidence of invariance among the included countries. However, based on the Multi-Group Factor Analysis Alignment, there is evidence that a three-dimensional structure of the PIL is the same in the participating countries. Results based on item response theory indicate that most PIL items can significantly differentiate responses according to the level of life purpose. In addition, people with low life purpose will tend to choose the lower response alternatives on the PIL; while people with higher life purpose will choose higher response alternatives. The findings indicate that the PIL has the potential to increase knowledge about how people conceive and experience their purpose in life in different countries. (shrink)

This paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semantics is provided for all the expansions referred to in its title. The aim of the present paper is to carry out a parallel investigation for all natural implicative expansions of Kleene's strong 3-valued matrix now with only one designated value.

LCo with the Converse Ackermann Property is defined as the result of restricting Contraction in LC. Intuitionistic and Superintuitionistic Negation is shown to be compatible with the CAP.

Many of our daily activities are now made more convenient and efficient by virtual assistants, and the day when they can be designed to instruct us in certain skills, such as those needed to make moral judgements, is not far off. In this paper we ask to what extent it would be ethically acceptable for these so-called virtual assistants for moral enhancement to use subtle strategies, known as “nudges”, to influence our decisions. To achieve our goal, we will first characterise (...) nudges in their standard use and discuss the debate they have generated around their possible manipulative character, establishing three conditions of manipulation. Secondly, we ask whether nudges can occur in moral virtual assistants that are not manipulative. After critically analysing some proposed virtual assistants, we argue in favour of one of them, given that by pursuing an open and neutral moral enhancement, it promotes and respects the autonomy of the person as much as possible. Thirdly, we analyse how nudges could enhance the functioning of such an assistant, and evaluate them in terms of their degree of threat to the subject’s autonomy and their level of transparency. Finally, we consider the possibility of using motivational nudges, which not only help us in the formation of moral judgements but also in our moral behaviour. (shrink)

Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are offered.

Regarding the epistemological borderlines between science and philosophy, this article approaches the human mind and ethics from biological and philosophical theories. For this purpose, the Darwinian theory of evolution by natural selection provides a scientific foundation to understand the human mind and ethics. However, not only Charles Darwin has studied mental faculties and ethics, this is also a topic researched by eminent contemporary paleontologists and biologists. Prior to modern biology, going back to Greek philosophy, philosophers have traditionally studied the human (...) mind and ethics, separating human beings and the rest of nature ontologically. Following modern biology, the philosopher Hans Jonas has developed a philosophical biology from the perspective of hermeneutical phenomenology to understand life. With the help of his hermeneutical phenomenology, Jonas has presented an ontological theory of organism-metabolism to understand the phenomenon of life from simple living beings to the human mind in relation to nature, based on the body. Recently, the evolutionary biologist Francisco Ayala has proposed a coherent scientific and philosophical theory about biological and cultural roots for ethics, considering the evolution of human mental and intellectual capacities and the three conditions for ethical behavior as a part of human intellectual capacity, which scientifically complements and informs Hans Jonas’s philosophical biology and ethics of responsibility. (shrink)

The COVID-19 global health emergency has greatly impacted the educational field. Faced with unprecedented stress situations, professors, students, and families have employed various coping and resilience strategies throughout the confinement period. High and persistent stress levels are associated with other pathologies; hence, their detection and prevention are needed. Consequently, this study aimed to design a predictive model of stress in the educational field based on artificial intelligence that included certain sociodemographic variables, coping strategies, and resilience capacity, and to study the (...) relationship between them. The non-probabilistic snowball sampling method was used, involving 337 people from the university education community in south-eastern Spain. The Perceived Stress Scale, Stress Management Questionnaire, and Brief Resilience Scale were administered. The Statistical Package for the Social Sciences was used to design the architecture of artificial neural networks. The results found that stress levels could be predicted by the synaptic weights of coping strategies and timing of the epidemic, with a predictive capacity of over 80% found in the neural network model. Additionally, direct and significant associations were identified between the use of certain coping strategies, stress levels, and resilience. The conclusions of this research are essential for effective stress detection, and therefore, early intervention in the field of educational psychology, by discussing the influence of resilience or lack thereof on the prediction of stress levels. Identifying the variables that maintain a greater predictive power in stress levels is an effective strategy to design more adjusted prevention programs and to anticipate the needs of the community. (shrink)

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley (...) and Meyer’s basic positive logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (shrink)

Contemporary literature distinguishes two ways to defend the claim that cognition is a matter of representations: one, cognition involves representation-hungry tasks; two, cognition involves a complex form of informational covariation between subcomponents of a system with an adaptive function. Each of these conceptions involves a different notion of representation, and promotes a particular view of the architecture of cognition. But despite the differences, each of them aims to support the claim that cognition is a matter of representations on architectural constraints. (...) The objective of this article is twofold: one, it is argued that architectural constraints do not entail either of those two ways to defend the claim that cognition is a matter of representations; two, it is claimed that both notions of representation share an objectionable common element – namely, the idea of a model that grounds the representational reading– that must be abandoned, in favor of a more economical explanation in terms of causal relations, in order to get a clear view of cognition. (shrink)

La polarización, los populismos y la posverdad forman tres fenómenos sociopolíticos fundamentales para comprender cómo se está orientando la política en los sistemas demoliberales. La polarización política se suele entender como un proceso dinámico de activación de las divisiones entre dos o más grupos sociales en el transcurso de los debates públicos que puede terminar con una ruptura comunicativa o una comunicación fallida. Si bien los especialistas no coinciden a la hora de definir el populismo, se puede comprender como una (...) forma concreta de construir el pueblo mediante un discurso que contrapone este al anti-pueblo. La posverdad se referiría a una tendencia cultural donde las verdades de hecho sufren una merma en favor de las verdades vivenciadas subjetivamente. Estos fenómenos tienden a ser percibidos por una buena parte de la sociedad y del mundo académico como una amenaza grave para las bases pluralistas y reflexivas de la democracia. Sin embargo, esa consideración está decantada normativamente. Este artículo trata de explorar un marco referencial diferente, el emotivismo, y cómo, desde este ángulo, toman sentido los tres conceptos clave: polarización, populismo y posverdad. (shrink)

A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E.

This article tries to elucidate the Deleuzian project of the reversal of Platonism in relation to that of Nietzsche. To this aim, I have made a predominantly historiographic sketch of the question in both authors. In the case of Nietzsche, I inquired about both the relationship that the reversal of Platonism presents in his philosophy with the problem of nihilism and the evolution that the topic undergoes throughout his vast intellectual production, until it reaches its final formulation. With regard to (...) Deleuze, I offer a broad overview of his work aimed at tracing the subject, from his interpretation of the Nietzschean formulation, as opposed to that of Heidegger, to the meticulous way in which it fits into his own philosophy as a shift of the essence in favour of the event as a source of singularities. (shrink)

In this article I try to show the philosophical continuity of Russell's ideas from his paradox of classes to Principia mathematica. With this purpose, I display the main results (descriptions, substitutions and types) as moments of the same development, whose principal goal was (as in his The principles) to look for a set of primitive ideas and propositions giving an account of all mathematics in logical terms, but now avoiding paradoxes. The sole way to reconstruct this central period in Russell (...) is to resort to unpublished manuscripts, which show the publications of these years to be the extremities of one same iceberg. Thus the logical problems (doubts about propositions, matrices and functions) are parallel to the ontological (the searching for genuine logical subjects) and methodological ones (the status of eliminative reduction). Paradoxes were the cause that the kind of (constructive) definition already applied by Russell, as an inheritance of Moorean analysis, obtained a new trait: ontological elimination, which, beginning with a ?no classes theory? and the theory of descriptions, led to a new theory of judgment (already present in manuscripts from 1906), ?incomplete symbols, and logical constructions. (shrink)

In the paper we obtain a new characterization of the BCK-algebras which are subdirect product of BCK-chains. We give an axiomatic algebraizable extension of the BCK-calculus, by means of a recursively enumerable set of axioms, such that its equivalent algebraic semantics is definitionally equivalent to the quasivariety of BCK-algebras generated by the BCK-chains. We propose the concept of "linearization of a system" and we give some examples.

According to the received view, Russell rediscovered about 1900 the logical definition of cardinal number given by Frege in 1884. In the same way, we are told, he stated and developed independently the idea of logicism, using the principle of abstraction as the philosophical ground. Furthermore, the role commonly ascribed in this to Peano was only to invent an appropriate notation to be used as mere instrument. In this paper I hold that the study of Russell's unpublished manuscripts and Peano's (...) (and disciples) writings (as part of a larger investigation only pointed out here) shows, on the contrary, that Russell obtained the method to transform definitions by abstraction into nominal definitions and the general logicist idea from Peano (and his school). The only original insight from Russell, the principle of abstraction, partially derived from Moore's early philosophy, was finally abandoned because it was not of practical use. (shrink)

Repasamos brevemente la vida y la obra de Gaston Boissier (1823-1908) que perteneció a la gran generación de sabios que regeneró los estudios históricos en Francia durante la segunda mitad del siglo XIX. De entre todos ellos (Renan, Taine o Fustel de Coulanges) Boissier siempre contó con el favor del público tanto por sus monografías como por sus artículos, muchos de ellos aparecidos en la Revue des Deux Mondes (1829-). De su éxito da cuenta también el gran número de traducciones (...) aparecidas en castellano, tanto en España como en Iberoamérica. Finalmente, expondremos a modo de presentación de la traducción de su trabajo sobre la idea de humanitas, su concepción de la historia que habrá de rastrearse en sus escritos, pues nunca la expuso de forma sistemática. (shrink)

As it is well known, Relevance Logic R plus the axiom mingle (R-Mingle) does not have the variable-sharing property (vsp). The aim of this paper is to improve this result by defining a weak logic with the axiom mingle and not included in minimal logic BM lacking the vsp.

S3o and S4o are the restrictions with the Converse Ackermann Property of the implicative fragments of Lewis' S3 and S4 respectively. The aim of this paper is to provide all possible axiomatizations with independent axioms of S3o and S4o that can be formulated with a modification of Anderson and Belnap's list of valid entailments.

Este trabajo hace un estudio de la pasión en tanto que la pasión nos ofrece una evaluación cognoscitiva de la realidad. Esta evaluación muestra lo que se puede llamar intencionalidad del cuerpo, que tiene una finalidad evolutiva en el ser humano como ser vivo y que es diferente de la intencionalidad que posee la razón. La pasión nos ofrece un juicio corporal desde una perspectiva subjetiva mientras que el juicio de la razón se refiere a un marco objetivo.

The concept of constructive negation we refer to in this paper is (minimally) intuitionistic in character (see [1]). The idea is to understand the negation of a proposition A as equivalent to A implying a falsity constant of some sort. Then, negation is introduced either by means of this falsity constant or, as in this paper, by means of a propositional connective defined with the constant. But, unlike intuitionisitc logic, the type of negation we develop here is, of course, devoid (...) of paradoxes of relevance. (shrink)